|
|
Definition of Free variable
1. Noun. (programming) A variable that is not bound to a storage location. ¹
2. Noun. (mathematics logic) A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential ''d''" near the end of an integral or differential form, or a summation symbol). ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Free Variable
Other Resources:
